Infinitesimal invariance transformations

A Characterization of the Infinitesimal Conformal Transformations on Tangent Bundles

Proof Transformations and Structural Invariance

In this paper we define the concept of a profile, which is a characteristic clause set, corresponding to an LK-proof in first-order logic, which is invariant under rule permutations. It is shown (via cutelimination) that the profile is even invariant under a large class of proof transformations (called “simple transformations”), which includes transformations to negation normal form. As proofs ...

a characterization of the infinitesimal conformal transformations on tangent bundles

On Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric

Let  be an n-dimensional Riemannian manifold, and  be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation  induces an infinitesimal homothetic transformation on .  Furthermore,  the correspondence   gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on  onto the Lie algebra of infinitesimal ...

Topological Invariance under Line Graph Transformations

It is shown that the line graph transformation G L(G) of a graph G preserves an isomorphic copy of G as the nerve of a finite simplicial complex K which is naturally associated with the Krausz decomposition of L(G). As a consequence, the homology of K is isomorphic to that of G. This homology invariance algebraically confirms several well known graph theoretic properties of line graphs and fo...